/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#4=NGB25/FONT#5=STA200
␈↓ ↓H␈↓␈↓¬S␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓ ↓H␈↓∧Telephone 415-497-1391␈↓ 
-July 2, 1975
␈↓ ↓H␈↓∧or  415-497-4971



␈↓ ↓H␈↓Dr. Adrian Walker
␈↓ ↓H␈↓Department of Computer Science
␈↓ ↓H␈↓Rutgers University
␈↓ ↓H␈↓New Brunswick, N. J. 08903


␈↓ ↓H␈↓Dear Dr. Walker,


␈↓ ↓H␈↓Thank␈α∞you␈α∞for␈α∂your␈α∞request␈α∞for␈α∞a␈α∂copy␈α∞of␈α∞my␈α∞recent␈α∂paper,␈α∞␈↓↓Synthesis␈α∞of␈α∞Large␈α∂Programs␈α∞from

␈↓ ↓H␈↓↓Speci≡c␈α
Dialogues␈↓.␈αIn␈α
addition␈αto␈α
this␈αSPIP␈α
paper,␈αI␈α
am␈αenclosing␈α
a␈αcopy␈α
of␈αa␈α
related␈αpaper␈α
which

␈↓ ↓H␈↓is␈αto␈α
be␈αpresented␈α
at␈αthe␈α
World␈αCongress␈αon␈α
Cybernetics␈αand␈α
Systems␈α(Bucharest,␈α
August,␈α1975).

␈↓ ↓H␈↓The␈αsecond␈αhalf␈α
of␈αthat␈αpaper␈α
describes␈αthe␈αproject␈αI␈α
am␈αnow␈αworking␈α
on␈αfor␈αmy␈αdissertation␈α
(the

␈↓ ↓H␈↓Automated␈αMathematician␈αsystem).␈α If␈αthat␈αsummary␈αcatches␈αyour␈αinterest,␈αa␈αmore␈αlengthy␈αcopy␈α
of

␈↓ ↓H␈↓my dissertation proposal is available.


␈↓ ↓H␈↓I␈α⊃shall␈α⊃read␈α⊃yet␈α⊃another␈α⊃paper␈α⊃on␈α∩the␈α⊃PUP6␈α⊃synthesis␈α⊃system␈α⊃at␈α⊃the␈α⊃coming␈α∩IJCAI␈α⊃(Tbilisi,

␈↓ ↓H␈↓September),␈α⊂but␈α⊂its␈α⊂brevity␈α⊂seriously␈α⊂hinders␈α⊂the␈α∂amount␈α⊂of␈α⊂new␈α⊂content.␈α⊂ If␈α⊂you␈α⊂wish␈α⊂a␈α∂copy

␈↓ ↓H␈↓anyway, please write me.


␈↓ ↓H␈↓Let␈αme␈αpersonally␈αinvite␈αyou,␈αif␈αyou␈αhappen␈αto␈αbe␈αnear␈αStanford␈αthis␈αcoming␈αyear,␈αto␈αcome␈αto␈αthe

␈↓ ↓H␈↓Ariti≡cial Intelligence Lab -- for a seminar, discussion, or just a tour.
␈↓ ↓H␈↓␈↓αDr. Adrian Walker, July 2, 1975␈↓ 
nPage 2





␈↓ ↓H␈↓␈↓ εSincerely,






␈↓ ↓H␈↓␈↓ ¬WDouglas B. Lenat